Handling Open-Vocabulary Constructs in Formalizing Specifications: Retrieval-Augmented Parsing with Expert Knowledge
arxiv.org·23h
📝NLP
Polymorphic symmetric multiple dispatch with variance
dl.acm.org·1d·
Discuss: Hacker News
📝NLP
Charles Sanders Peirce, George Spencer Brown, and Me • 19
inquiryintoinquiry.com·1d
💬Philosophy of Language
An introduction to program synthesis
mchav.github.io·4h·
Discuss: r/programming
🎨Computational Creativity
Defeating Nondeterminism in LLM Inference – Thinking Machines Lab
jmason.ie·11h
🎲Bayesian Cognition
Coco – Solving the Expression Problem in Standard OO (Java, C#, Scala, ..)
drops.dagstuhl.de·16h·
Discuss: Hacker News
🤖AI
Forging Data Symphonies: The Art of the ETL Pipeline in Rails
github.com·5h·
Discuss: DEV
🔍Content discovery
Gauss, an Agent for Autoformalization
math.inc·8h·
Discuss: Hacker News
🤖AI
Object Reorientation: Generic Functions
gigamonkeys.com·1d·
Discuss: Hacker News
🤖AI
Meta-abstraction in the physical and social sciences (2021)
edwardfeser.blogspot.com·10h·
Discuss: Hacker News
💬Philosophy of Language
Evaluating Large Language Models: What, Why, and How for Chatbots
pub.towardsai.net·3h
📝NLP
Towards Knowledge-Aware Document Systems: Modeling Semantic Coverage Relations via Answerability Detection
arxiv.org·23h
📝NLP
Context Pruning in Conversational Agent
poonai.xyz·1d·
Discuss: Hacker News
📝NLP
neeed help for amazon interview for ML engineer
amazon.jobs·34m·
Discuss: r/compsci
📝NLP
Lessons from Studying Two-Hop Latent Reasoning
lesswrong.com·9h
🔄Transformers
Indic NLP: AI4Bharat papers explainer part 1
shubhamg.bearblog.dev·1d·
Discuss: Hacker News
📝NLP
Categories for Public Health Modeling
johncarlosbaez.wordpress.com·13h
🎲Bayesian Cognition
Links instead of repetition
dev.to·9h·
Discuss: DEV
🧮Information theory
Why Context Is the New Currency in AI: From RAG to Context Engineering
towardsdatascience.com·9h
📝NLP
The Data Backbone of LLM Systems
infoq.com·11h·
Discuss: Lobsters
📝NLP